#ifndef __printf_H__
#define __printf_H__

#include <stdio.h>


int fputc(int, FILE*);

#endif
